2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Javier Esparza
,
Keijo Heljanko
1.99 Mb
#2
Finite and Algorithmic Model Theory
Javier Esparza
,
Christian Michaux
,
Charles Steinhorn
1.54 Mb
#3
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)
Javier Esparza
,
Rupak Majumdar
6.51 Mb
#4
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)
Javier Esparza
,
Rupak Majumdar
Категория:
Компьютеры
5.39 Mb
#5
Curso General De Disidencia
Esparza Jose Javier
Категория:
fiction
552 Kb
#6
Applications and Theory of Petri Nets 2002, 23 conf., ICATPN 2002
Javier Esparza
,
Charles Lakos
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.38 Mb
#7
Free choice Petri nets
Jorg Desel
,
Javier Esparza
Категория:
Cs_Computer science
,
CsDi_Discrete math
1.71 Mb
#8
Free Choice Petri Nets
Jorg Desel
,
Javier Esparza
9.38 Mb